Towards a Visual Programming Environment Generator for Algebraic Specifications
نویسندگان
چکیده
In the visual languages community there has been a growing consensus that visual languages will be most successful in the case of special purpose languages. Furthermore, their success will largely depend on the programming environment which is provided for them. Programming environment generators, generate programming environments for formally speciied languages. This paper discusses speciication of visual languages and the generation of visual environments. We focus on a picture deenition language, Vodl, which serves as the basis for deening the syntax of visual languages. We present the language deenition and an example showing how Vodl is used in deening language syntax and thereafter generating visual editors. Finally, we discuss how to extend this approach in creating a visual speciication formalism and a supporting environment for specifying the syntax and semantics of visual languages.
منابع مشابه
Generating User Interfaces from
The generation of the dialogue description from an algebraic specification of the application and its restrictions to different user groups are presented. The idea and motivation for the work is that the development of the application and the UI has to go hand in hand. Moreover, the UI should be generated since the programming of UIs is a time consuming and error-prone task. A formal specificat...
متن کاملVisual Data-Parallel Programming for Signal Processing Applications
Matrix manipulation programs are easily developed using a visual language. For signal processing, a graph of tasks operates on arrays. Each task iterates the same code on different patterns tilling these arrays. In this case visual specifications of dependencies between the pattern elements are enough to define an application. From the ARRAY-OL language developed by Thomson Marconi Sonar, we pr...
متن کاملTowards Model Transformation in Generated Eclipse Editor Plug-Ins
With the growing importance of model-driven development, the ability of transforming models into well-defined semantic domains becomes a key to automated code generation or verification in the software development process. In this paper, we describe a high-level concept for specifying model transformations by means of typed, attributed graph transformation at the level of formal visual language...
متن کاملTowards Pedagogability of Mathematical Music Theory: Algebraic Models and Tiling Problems in computer-aided composition
The paper aims at clarifying the pedagogical relevance of an algebraic-oriented perspective in the foundation of a structural and formalized approach in contemporary computational musicology. After briefly discussing the historical emergence of the concept of algebraic structure in systematic musicology, we present some pedagogical aspects of our MathTools environment within OpenMusic graphical...
متن کاملA Provably Correct Complier Generator
We have designed, implemented, and proved the correctness of a compiler generator that accepts action semantic descriptions of imperative programming languages. The generated compilers emit absolute code for an abstract RISC machine language that currently is assembled into code for the SPARC and the HP Precision Architecture. Our machine language needs no run-time type-checking and is thus mor...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 1995